partial orderings solved problems